Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013)
نویسندگان
چکیده
Die Arbeitstagung Programmiersprachen dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Für diese Tagung sind alle Programmierparadigmen und deren Sprachen von Interesse: imperative, objektorientierte, funktionale, logische, parallele, graphische Programmiersprachen, auch verteilte und nebenläufige Programmierung in Intraund Internet-Anwendungen, sowie Konzepte zur Integration dieser Paradigmen. Die ersten vier Arbeitstagungen Programmiersprachen fanden 1997 in Aachen, 1999 in Paderborn, 2004 in Ulm und 2009 in Lübeck im Rahmen von GI-Jahrestagungen statt. Nach 2012 in Berlin findet die Tagung in diesem Jahr in Aachen zum zweiten Mal zusammen mit der GITagung Software Engineering statt.
منابع مشابه
Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015)
Die Arbeitstagung Programmiersprachen (ATPS) ist eine jährlich stattfindende Veranstaltung der Fachgruppe Programmiersprachen und Rechenkonzepte der Gesellschaft für Informatik (GI). Sie dient dem Austausch zwischen Wissenschaftlern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Dabei sind alle Programmierparadigmen gleichermaßen von Intere...
متن کاملVorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016)
Die Arbeitstagung Programmiersprachen dient dem Austausch zwischen Forschern, Entwicklern und Anwendern in Hochschule, Wirtschaft und Industrie, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Dabei sind alle Programmierparadigmen gleichermaßen von Interesse: imperative, objektorientierte, funktionale, logische, parallele und graphische Programmiersprachen ebenso wie v...
متن کامل5. Arbeitstagung Programmiersprachen (ATPS 2012)
Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschaeftigen. Alle Programmierparadigmen sind von Interesse: imperative, objektorientierte, funktionale, logische, parallele, graphische Programmiersprachen, auch verteilte und nebenlaeufige Programmierung in Intraund Internet-Anwendungen, sowie Konzepte zur...
متن کامل6. Arbeitstagung Programmiersprachen (ATPS 2013)
Jens Knoop1, Janis Voigtländer2 1 Institut für Computersprachen, TU Wien Argentinierstr. 8 / E185.1, A-1040 Wien, Österreich [email protected] 2 Institut für Informatik, Universität Bonn Römerstraße 164, D-53117 Bonn, Deutschland [email protected] Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen ...
متن کاملA Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is necessary to prove their correctness. We develop a formal semantics for static single assignment (SSA) intermediate representations and prove formally within the Isabelle/HOL theorem prover that a relatively simple form of code g...
متن کامل